OBJ += front_end/ansi-c/ansi-c.a \
       front_end/big-int/bigint.o \
       front_end/goto-programs/goto-programs.a \
       front_end/langapi/langapi.a \
       front_end/util/util.a \
       front_end/cfa/cfa.o \
       front_end/cfa/typedef.o

all: main

main: 
	make -C front_end 
	g++ -MMD -DSTL_HASH_TR1 -Wall -O2 -I front_end/ -I front_end/util -DHAVE_CPP -o main main.cpp $(OBJ) -g

clean:
	make -C front_end clean
	rm -f main
	rm -f main.d
